<html>
<head><meta charset="utf-8"><title>Documenting team member tools · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html">Documenting team member tools</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="195620040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195620040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195620040">(Apr 28 2020 at 20:11)</a>:</h4>
<p>I came across this issue: <a href="https://github.com/rust-lang/rustc-dev-guide/issues/188" title="https://github.com/rust-lang/rustc-dev-guide/issues/188">rustc-dev-guide#188</a>, which made me wonder if it is useful to document tools for team members in the rustc dev guide. I was thinking about, maybe an appendix, with bors, rustc-timer, crater...?</p>



<a name="195620330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195620330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195620330">(Apr 28 2020 at 20:13)</a>:</h4>
<p>I'm a bit confused, shouldn't that go into forge?</p>



<a name="195620373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195620373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195620373">(Apr 28 2020 at 20:14)</a>:</h4>
<p>and actually there's already some documentation about bors, rustc-timer in forge</p>



<a name="195620506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195620506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195620506">(Apr 28 2020 at 20:14)</a>:</h4>
<p>Right, I also thought it didn't belong in the guide. Shall I close <a href="https://github.com/rust-lang/rustc-dev-guide/issues/188" title="https://github.com/rust-lang/rustc-dev-guide/issues/188">rustc-dev-guide#188</a>?</p>



<a name="195621188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195621188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195621188">(Apr 28 2020 at 20:19)</a>:</h4>
<p>I think we can move the issue on github...</p>



<a name="195621218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195621218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195621218">(Apr 28 2020 at 20:19)</a>:</h4>
<p>Move it to the forge you mean?</p>



<a name="195621540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195621540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195621540">(Apr 28 2020 at 20:21)</a>:</h4>
<p>yep, the forge github repo</p>



<a name="195621592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195621592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195621592">(Apr 28 2020 at 20:22)</a>:</h4>
<p>not sure if I have perms though</p>



<a name="195622239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622239">(Apr 28 2020 at 20:27)</a>:</h4>
<p>You need to have write access to both repos</p>



<a name="195622265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622265">(Apr 28 2020 at 20:27)</a>:</h4>
<p>We’d probably need to ping an admin</p>



<a name="195622525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622525">(Apr 28 2020 at 20:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> could you move the above issue to the forge repo please?</p>



<a name="195622544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622544">(Apr 28 2020 at 20:29)</a>:</h4>
<p>yeah</p>



<a name="195622645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622645">(Apr 28 2020 at 20:30)</a>:</h4>
<p>we should make sure to crosslink to forge though</p>



<a name="195622713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622713">(Apr 28 2020 at 20:30)</a>:</h4>
<p>not sure what you mean exactly?</p>



<a name="195622781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622781">(Apr 28 2020 at 20:31)</a>:</h4>
<p>i.e. rustc-dev-guide should have links to these docs somehow</p>



<a name="195622902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622902">(Apr 28 2020 at 20:32)</a>:</h4>
<p>as imo we should try to make sure that searching in it, for e.g. crater, gives you useful enough results that you can (run | understand how/when to ask for a run) crater, based on those results,</p>



<a name="195622912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195622912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195622912">(Apr 28 2020 at 20:32)</a>:</h4>
<p>though maybe that requires some link following</p>



<a name="195623204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195623204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195623204">(Apr 28 2020 at 20:34)</a>:</h4>
<p>yeah that makes sense</p>



<a name="195623288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting%20team%20member%20tools/near/195623288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Documenting.20team.20member.20tools.html#195623288">(Apr 28 2020 at 20:35)</a>:</h4>
<p>actually, there is some active discussion in the other thread about what we want to have in the guide exactly, so perhaps we can wait on moving the issue until that discussion is settled</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>